The 'seL4' microkernel has been developed by a team led by Australia's ICT Research Centre of Excellence's spinout company -- Open Kernel Labs (OK Labs).
The setting up of STEAG is part of the Army's efforts to develop technologies considering the future battlefield, they said.
© 2026 Rediff.com - Investor Information - Advertise with us - Disclaimer - Privacy Policy - Sitemap - Feedback - About us - Terms of use - Grievances